1. Algebraic computability and enumeration models : recursion theory and descriptive complexity

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra

رده :
QA
169
.
N68A4